Program Graph Transformation
نویسنده
چکیده
Graph transformation, a branch of theoretical computer science, is about the definition of graph languages by grammars, and the study of computations on graphs by rewrite rules. In this paper, we sketch a software engineering problem – the refactoring of object-oriented software – and indicate how graph grammars and graph rewrite rules can be extended for specifying and implementing refactoring operations on a high level of abstraction.
منابع مشابه
Automated Program Generation for and by Model Transformation Systems
Model transformation systems are graph transformation systems that perform translations between languages defined by a corresponding metamodel as the type graph. The current paper proposes a reflective method for the automatic generation of the implementation for such transformation systems derived from a high–level specification consisting of a set of graph transformation rules and a control f...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملENTROPY OF DYNAMICAL SYSTEMS ON WEIGHTS OF A GRAPH
Let $G$ be a finite simple graph whose vertices and edges are weighted by two functions. In this paper we shall define and calculate entropy of a dynamical system on weights of the graph $G$, by using the weights of vertices and edges of $G$. We examine the conditions under which entropy of the dynamical system is zero, possitive or $+infty$. At the end it is shown that, for $rin [0,+infty]$, t...
متن کاملHow to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems
Abs t r ac t . Implementing program optimizers is a task which swallows an enourmous amount of man-power. To reduce development time a simple and practial specification method is highly desirable. Such a method should comprise both program analysis and transformation. However, although several frameworks for program analysis exist, none of them can be used for analysis and transformation unifor...
متن کاملProgram Comprehension in GROOVE
This paper presents a (partial) solution to the case study on Program Comprehension, proposed in the GraBaTs’09 contest. Our tool of choice is GROOVE, a graph transformation tool initially designed as a model checker for graph grammars. GROOVE has been under development for several years and new features are being implemented. One of our current interests is on program analysis and model transf...
متن کاملVMTS Solution of Case Study: Reverse Engineering
Model-driven software development makes models and model transformations first-class citizens in software development. Program code and corresponding models evolve parallelly, thus round-trip engineering is highly required. Program code to model transformation plays a key role in program comprehension and examination as examining models is simpler than processing program code. In this paper, we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009